On considère l`ensemble des formules du calcul propositionnel. Rappelons qu`il s`agit des formules finies que l`on peut construire inductivement à partir des variables propositionnelles au moyen des connecteurs logiques. Trouvé sur https://fr.wikipedia.org/wiki/Système_à_la_Hilbert
Aucun résultat n’a été trouvé dans l’encyclopédie.
On considère l`ensemble des formules du calcul propositionnel. Rappelons qu`il s`agit des formules finies que l`on peut construire inductivement à partir des variables propositionnelles au moyen des connecteurs logiques.